Instance Verification Kit (IVK)

spin lock @ [32160+22+/linux-3.17-rc1/drivers/usb/gadget/udc/mv_udc_core.c]
Instance Signature: lock

The Matching Pair Graph:


Function Name
Control Flow Graph (CFG)
Events Flow Graph (EFG)
Source Correspondence
done [5417+4+/linux-3.17-rc1/drivers/usb/gadget/udc/mv_udc_core.c]
ep0_req_complete [41375+16+/linux-3.17-rc1/drivers/usb/gadget/udc/mv_udc_core.c]
handle_bus_resume [46222+17+/linux-3.17-rc1/drivers/usb/gadget/udc/mv_udc_core.c]
handle_setup_packet [39595+19+/linux-3.17-rc1/drivers/usb/gadget/udc/mv_udc_core.c]
irq_process_port_change [46778+23+/linux-3.17-rc1/drivers/usb/gadget/udc/mv_udc_core.c]
irq_process_reset [44523+17+/linux-3.17-rc1/drivers/usb/gadget/udc/mv_udc_core.c]
irq_process_suspend [46522+19+/linux-3.17-rc1/drivers/usb/gadget/udc/mv_udc_core.c]
irq_process_tr_complete [42922+23+/linux-3.17-rc1/drivers/usb/gadget/udc/mv_udc_core.c]
mv_ep_dequeue [19606+13+/linux-3.17-rc1/drivers/usb/gadget/udc/mv_udc_core.c]
mv_ep_disable [14443+13+/linux-3.17-rc1/drivers/usb/gadget/udc/mv_udc_core.c]
mv_udc_irq [47871+10+/linux-3.17-rc1/drivers/usb/gadget/udc/mv_udc_core.c]
mv_udc_pullup [28849+13+/linux-3.17-rc1/drivers/usb/gadget/udc/mv_udc_core.c]
mv_udc_stop [33153+11+/linux-3.17-rc1/drivers/usb/gadget/udc/mv_udc_core.c]
mv_udc_suspend [56099+14+/linux-3.17-rc1/drivers/usb/gadget/udc/mv_udc_core.c]
mv_udc_vbus_session [27977+19+/linux-3.17-rc1/drivers/usb/gadget/udc/mv_udc_core.c]
nuke [31470+4+/linux-3.17-rc1/drivers/usb/gadget/udc/mv_udc_core.c]
stop_activity [31810+13+/linux-3.17-rc1/drivers/usb/gadget/udc/mv_udc_core.c]